Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
131	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
132	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
133	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
134	Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:46 Constraint programming Constraint satisfaction problem Lambda calculus Constraint Constraint logic programming Constraint satisfaction
135	Microsoft PowerPoint - Lect14lecture_env3.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-01 06:30:49 Lambda calculus Anonymous function Lambda lifting Lambda calculus definition
136	Crafting a Repository of Knowledge Based on Transformation Rules A.D. Rich (1) and D.J. JeffreyLoli’i Way, Kamuela, Hawaii, USA. Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2009-04-06 23:30:16 Elementary algebra Computer algebra Symbolic computation Expression Identity Computer algebra system Algebraic expression Integral Trigonometric functions Draft:Formulae Lambda calculus definition
137	Kat - the language of calculations Mikus Vanags Parameter declaration explicitly Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 07:22:21 Lambda calculus Subroutines Functional programming Data types Anonymous function Parameter Implicit function Church encoding
138	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
139	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
140	A Development of Lambda Calculus with Onappo Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Actor model Concurrent computing Dwight D. Eisenhower